منابع مشابه
ASP perspectives on networked appliances
ASPs today provide a means for businesses to outsource their applications thus saving on setup and maintenance costs. This paper presents an example of an ASP providing a service to a specialized networked device: a Networked Alarm Clock. This example is used to illustrate the issues ASPs would need to deal with to provide services to specialized networked devices within a home network.
متن کاملOn Minimal Corrections in ASP
As a programming paradigm, answer set programming (ASP) brings about the usual issue of the human error. Hence, it is desirable to provide automated techniques that could help the programmer to find the error. This paper addresses the question of computing a subset-minimal correction of a contradictory ASP program. A contradictory ASP program is often undesirable and we wish to provide an autom...
متن کامل∃-asp
Answer set programming (ASP) is an appropriate formalism to represent various problems issued from artificial intelligence and arising when available information is incomplete. When dealing with information expressed in terms of ontologies in some tractable description logic language, ASP must be extended to handle existential variables. We present the syntax and semantics of an ASP language wi...
متن کاملDebugging ASP Programs by Means of ASP
Answer-set programming (ASP) has become an important paradigm for declarative problem solving in recent years. However, to further improve the usability of answer-set programs, the development of software-engineering tools is vital. In particular, the area of debugging provides a challenge in both theoretical and practical terms. This is due to the purely declarative nature of ASP that, on the ...
متن کاملThe Multi-Engine ASP Solver me-asp
In this paper we describe the new system ME-ASP, which applies machine learning techniques for inductively choosing, among a set of available ones, the “best” ASP solver on a per-instance basis. Moreover, we report the results of some experiments, carried out on benchmarks from the “System Track” of the 3rd ASP Competition, showing the state-of-the-art performance of our solver.
متن کاملذخیره در منابع من
با ذخیره ی این منبع در منابع من، دسترسی به آن را برای استفاده های بعدی آسان تر کنید
ژورنال
عنوان ژورنال: Mathematics of Computation
سال: 1988
ISSN: 0025-5718
DOI: 10.1090/s0025-5718-1988-0930224-9